java - 什么是 \"sequentially consistent executions are free of data races\"？